FrAngel: component-based synthesis with control structures
نویسندگان
چکیده
منابع مشابه
single-step synthesis of multi-component spirobarbiturates using ionic liquids and synthesis of substituted pyridine filled with catalysts supported on solid substrate
in this thesis, a better reaction conditions for the synthesis of spirobarbiturates catalyzed by task-specific ionic liquid (2-hydroxy-n-(2-hydroxyethyl)-n,n-dimethylethanaminium formate), calcium hypochlorite ca(ocl)2 or n-bromosuccinimide (nbs) in the presence of water at room temperature by ultrasonic technique is provided. the design and synthesis of spirocycles is a challenging task becaus...
15 صفحه اولSynthesis and Control of Flexible Systems with Component-Level Uncertainties
An efficient and computationally robust method for synthesis of component dynamics is developed. The method defines the interface forces/moments as feasible vectors in transformed coordinates to ensure that connectivity requirements of the combined structure are met. The synthesized system is then defined in a transformed set of feasible coordinates. The simplicity of form is exploited to effec...
متن کاملComponent-Based Control System
In industrial automation it is usual to reuse many welldefine hardware components. The use of these hardware components helps to reduce the price considerably. In this paper we introduce an approach to build industrial control software from software components in order to achieve the same benefits as those of the hardware reuse. Component systems are more flexible, extensible, portable and ther...
متن کاملTopology Optimization of Multi-component Structures via Decomposition-based Assembly Synthesis
∗ corresponding author ABSTRACT A method is presented for synthesizing multi-component structural assemblies with maximum structural performance and manufacturability. The problem is posed as a relaxation of decomposition-based assembly synthesis [1,2,3], where both topology and decomposition of a structure are regarded as variables over a ground structure with non-overlapping beams. A multi-ob...
متن کاملComponent-based Synthesis Applied to Bitvector Programs
We define component-based synthesis to be the problem of synthesis of (straight-line) programs from appropriate composition of base components from a specified library of software components. The functional specification of the desired program and the library components is provided in the form of logical formulas that relate the respective input and output variables. This has applications in de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2019
ISSN: 2475-1421
DOI: 10.1145/3290386